<table width="535" height="638" border="0" align="right">
  <tr>
    <td width="215" height="178" bordercolor="#FBFBFC" bgcolor="#FBFBFC"><span class="STYLE5"><img src="3.jpg" width="214" height="160" /></span></td>
    <td width="313" align="center" valign="bottom" bordercolor="#FBFBFC" bgcolor="#FBFBFC"><p align="center"> <span class="STYLE3"> 吉林大学软件教研室的前身是吉林大学数学系计算数学教研室，在六十年代初，由金成植，金淳兆，周长林等老一辈计算机科学家创建了系统软件教研室。教研室曾在形式化理论，软件工程，操作系统等方面为国家作出了杰出的贡献。</span></p>
    <p>&nbsp;</p></td>
  </tr>
  <tr bordercolor="#FBFBFC" bgcolor="#FBFBFC">
    <td height="212" colspan="2"><table width="532" height="210" border="0">
      <tr>
        <td width="269" height="206" align="center" valign="bottom" bordercolor="#FBFBFC" bgcolor="#FBFBFC">	<span class="STYLE3"> 目前，软件教研室主要以软件新方法与新技术研究为重点，理论研究与应用研究相结合，主要研究方向包括程序设计语言及其实现技术，并发程序形式语义及其应用，语义网及本体工程，形式化方法及其在软件开发的应用等。教研室主任刘磊教授（博导）。现有教师11人，其中博士导3人，副教授2人，讲师6人。现在从事有关Monad方法，语义形式化，程序分析以及语义网方面的深入研究工作。至今本教研室已经培养了5名博士和近60余名硕士研究生，目前在读博士12人，硕士研究生有41人。</span></td>
        <td width="253"><div align="center"><img src="4.jpg" width="245" height="216" /></div></td>
      </tr>
    </table></td>
  </tr>
  <tr bordercolor="#FBFBFC" bgcolor="#FBFBFC">
    <td height="218" colspan="2"><table width="531" border="0">
      <tr>
        <td width="525" height="229" align="left" bordercolor="#FBFBFC" bgcolor="#FBFBFC"><p class="STYLE4">实验室自成立以来，多年来一直承担着计算机专业本科和研究生主干课程的教学工作，主要讲授了编译原理，高级语言程序设计，程序理论以及程序分析技术等多门本科和研究生专业课程。通过多年来的教学实距，教研室积累了丰富的教学经验，其中编译原理课程被评为校百门精品课程之一。所承担了的教学改革项目《编译原理课程建设研究与实践》获得吉林省教学成果二等奖，吉林大学教学成果一等奖。设计实现的编译原理CAI课件在第六届全国教育软件获得优秀奖，关获吉林省二等奖。金成植教授编 写的面向二十一世纪课程教材《编译程序构造原理和实现技术》获国家教材二等 奖，刘磊教授获得宝钢教育优秀教师称号。</p>
          <p class="STYLE3">教研室先后完成和承担了多项国家级和省部级项目，其中国家自然科学基金项目4项，博士点基金项目11项，省部级项目2 项，横向合作项目3项，出版学术著作10余部，发表学术论文近60件余篇。部分研究成果达到了国际水平。本教研室通过多年来的组织和建设，形成了浓厚的学术氛围，构那家了成熟的研究环境，形成了合理的教师梯队，具有较强的实践能力和良好的开拓创新。团结协作精神.</p>          </td>
        </tr>
    </table></td>
  </tr>
</table>